PROMOTING PUBLIC TRANSPORT USING MOBILITY MANAGEMENT AND VERIFYING ITS QUANTITATIVE EFFECT
نویسندگان
چکیده
منابع مشابه
Verifying Quantitative Properties Using Bound Functions
We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have integer values at states, and properties have integer values on traces. For example, the value of a quantitative proposition at a state may represent power consumed at the state, and the value of a quantitative property on a trac...
متن کاملBig Data and Its Uses for Development of Public Transport Mobility Policies
The OV-Chipcard, the Dutch national public transport smartcard, can provide public transport operators and authorities extensive information regarding the behaviour of smartcard owners. However, this information is limited to the data generated between check-in and check-out and contains little to no information regarding public transport users’ travel behaviour outside this ‘checked trip’. In ...
متن کاملIntelligent Public Transport Management System Using Embedded Technology
Nowadays, usage of motor vehicles is becoming mandatory for almost every people. So, due to the increasing the number of vehicles on roads traffic controlling became crucial one and also major problem for general public as well as government. In this paper, a vehicle monitoring system is proposed by using the embedded system technology, which gives the intelligent management of public transport...
متن کاملHierarchical Location Management for Transport Layer Mobility
IP mobility can be handled at different layers of the protocol stack. Mobile IP has been developed to handle mobility of Internet hosts at the network layer. As an alternative solution, a number of transport layer mobility protocols have been proposed, for example, MSOCKS and TCP connection migration solution in the context of TCP, and M-SCTP and mobile SCTP in the context of SCTP. More recentl...
متن کاملPropose Issues for Transport Mobility Management Scheme
We propose and estimate a novel transport layer mobility management scheme: Seamless IP diversity based Generalized Mobility Architecture (SIGMA). SIGMA provides seamless handover for mobile hosts and is based on Stream Control Transmission Protocol (SCTP), which is a new dependable transport protocol to transport SS7 signaling messages over IP network. We also show that our handover scheme can...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Doboku Gakkai Ronbunshuu D
سال: 2006
ISSN: 1880-6058
DOI: 10.2208/jscejd.62.87